Combining Texts

All the ideas for 'Intensional Logic', 'Henry V' and 'Contingent Identity'

expand these ideas     |    start again     |     specify just one area for these texts


22 ideas

4. Formal Logic / E. Nonclassical Logics / 8. Intensional Logic
If terms change their designations in different states, they are functions from states to objects [Fitting]
Intensional logic adds a second type of quantification, over intensional objects, or individual concepts [Fitting]
4. Formal Logic / E. Nonclassical Logics / 9. Awareness Logic
Awareness logic adds the restriction of an awareness function to epistemic logic [Fitting]
4. Formal Logic / E. Nonclassical Logics / 10. Justification Logics
Justication logics make explicit the reasons for mathematical truth in proofs [Fitting]
5. Theory of Logic / A. Overview of Logic / 8. Logic of Mathematics
Classical logic is deliberately extensional, in order to model mathematics [Fitting]
5. Theory of Logic / F. Referring in Logic / 3. Property (λ-) Abstraction
λ-abstraction disambiguates the scope of modal operators [Fitting]
9. Objects / B. Unity of Objects / 3. Unity Problems / c. Statue and clay
If a statue is identical with the clay of which it is made, that identity is contingent [Gibbard]
A 'piece' of clay begins when its parts stick together, separately from other clay [Gibbard]
Clay and statue are two objects, which can be named and reasoned about [Gibbard]
We can only investigate the identity once we have designated it as 'statue' or as 'clay' [Gibbard]
9. Objects / D. Essence of Objects / 7. Essence and Necessity / a. Essence as necessary properties
Essentialism is the existence of a definite answer as to whether an entity fulfils a condition [Gibbard]
9. Objects / D. Essence of Objects / 15. Against Essentialism
Essentialism for concreta is false, since they can come apart under two concepts [Gibbard]
9. Objects / E. Objects over Time / 12. Origin as Essential
A particular statue has sortal persistence conditions, so its origin defines it [Gibbard]
9. Objects / F. Identity among Objects / 6. Identity between Objects
Claims on contingent identity seem to violate Leibniz's Law [Gibbard]
9. Objects / F. Identity among Objects / 8. Leibniz's Law
Two identical things must share properties - including creation and destruction times [Gibbard]
Leibniz's Law isn't just about substitutivity, because it must involve properties and relations [Gibbard]
10. Modality / E. Possible worlds / 3. Transworld Objects / a. Transworld identity
Possible worlds identity needs a sortal [Gibbard]
Only concepts, not individuals, can be the same across possible worlds [Gibbard]
Definite descriptions pick out different objects in different possible worlds [Fitting]
10. Modality / E. Possible worlds / 3. Transworld Objects / b. Rigid designation
Kripke's semantics needs lots of intuitions about which properties are essential [Gibbard]
19. Language / B. Reference / 3. Direct Reference / b. Causal reference
Naming a thing in the actual world also invokes some persistence criteria [Gibbard]
25. Social Practice / E. Policies / 1. War / b. Justice in war
Our obedience to the king erases any crimes we commit for him [Shakespeare]